smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·5h
🔒Rust Borrowing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·21h·
Discuss: Hacker News
💬Interactive REPLs
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·4h
🧩Constraint Solvers
Souvenir
deprogrammaticaipsum.com·5h
🔗Weak References
Recurse Checkins
404wolf.com·7h
🔄Bootstrapping
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
⚡Algebraic Effects
Java Annotated Monthly – October 2025
blog.jetbrains.com·25m
💬Smalltalk VMs
Memorizing a list of seed words
johndcook.com·12h·
Discuss: Hacker News
🪢Rope Data Structures
Zig STD does not seems to use structural inheritance
reddit.com·15h·
Discuss: r/Zig
🏷️Symbol Mangling
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·15h·
Discuss: r/programming
🧠Memory Models
5 Must-Read OOP, UML, and Design Patterns Books for Software Engineers
dev.to·18h·
Discuss: DEV
🔀Control Structures
valuetier.org (and some thoughts on LLMs)
ericphanson.com·14h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·2h
🌳Tree Shaking
Highly concurrent in-memory counter in GoLang
engineering.grab.com·8h
🧠Memory Models
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·14h·
Discuss: Hacker News
🌉Cross-Platform FFI
Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·4h·
Discuss: DEV
🌳Pattern Match Compilation
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·13h·
Discuss: Hacker News
🛡️Stack Safety
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·9h·
Discuss: Hacker News
🔢Algebraic Datatypes
A grand week
blog.mitrichev.ch·19h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers